function add_option(str)
	{
		var x = document.getElementById("s1");
		var opt = document.createElement("option");
		opt.text = str;
		opt.value = str;
		try {x.add(opt,x.options[null]);}
		catch (e) {}
	}
